arithmetically expressible sentence

Математика: арифметически выразимое высказывание